約 1,262,594 件
https://w.atwiki.jp/jimijimi_gabriel/pages/112.html
2ちゃんねるで良いページ教えてもらっちゃった☆ 2007/4/6(金) 午後 1 59 http //www.geosports.co.jp/adodept.html 本当にワイヤー頼みで飛ぶとなると、ここまできちんとワイヤーつけないと 行けないんですねえ・・・
https://w.atwiki.jp/blazblue/pages/2592.html
対ハザマ戦 「この解れ方は……チィっあのクソメガネ」だった気がします。 -- (めいら) 2013-11-24 10 30 20 イザヨイがない…… -- (名無しさん) 2013-12-23 23 42 23 対ラグナ テメェは一生！永劫！俺には勝てねぇの！…ククク…せいぜい苦しみながら死んでくれ、ラグナちゃん。ヒャーッハハハハハ!! 対レイチェル テメェは退場だ…このクソ吸血鬼が！ 対ライチ 俺に盾突くと、どうなるかわかったか？あ？ 対アラクネ 汚ねぇし臭ぇしおまけに弱ぇときたら、一体何のために生きてんだろうなテメェは…ヒヒヒ 対バング なんだこいつ…マジで救えねぇレベルの馬鹿だな…失せろ 対ハクメン 俺の躰の具合はどうよ、ハクメンちゃん 対ニュー ムラクモユニットねぇ……。 対ミュー テメェにゃもう用は無ぇ。｢滅日｣を楽しみにしてな…。 対プラチナ マジでうぜぇぞ、クソメガネ。 対レリウス てめぇと殺し合うとはね……ヒヒヒヒ。 対イザヨイ 覚醒しても、その程度だったってこと。ヒヒヒ…悔しいか？悔しいよなぁ…いい顔してるぜぇツバキちゃんよぉ。 対カグラ それ以上近付くんじゃねぇ。バカが感染る 対テルミ あのクソ吸血鬼…何がしてぇんだ？ 対ココノエ テメェも母親みたいに死んでみるか？ -- (名無しさん) 2013-12-25 11 31 57 μもねぇじゃん… -- (名無しさん) 2013-12-26 16 33 09 対Λ戦 まーた殺されに出てきやがったのか？ ヒヒヒ！ -- (名無しさん) 2014-11-04 23 09 25 対セリカ あー気持ち悪ぃ…二度と俺に近づくんじゃねぇ!! だったと思います -- (名無しさん) 2014-11-15 00 49 24
https://w.atwiki.jp/noeruvamirion/pages/82.html
【基礎知識】 【ノエル戦メモ】 【立ち回り】【総合】 【開幕】 【遠距離】 【中距離】 【近距離】 【状況別】【空対空】 【地対空】 【空対地】 【起き攻め】 【被起き攻め】 【被画面端】 【割り込みポイント】 【固め】 【その他】 【基礎知識】 【ノエル戦メモ】 ノエル同キャラ戦は6A対空をなるべくしないのが重要かと。 ノエルの飛び込みからの択はJ4D、JD、JC、ガードくらいだと思うので 6Aで負けるJ4DとJDからのリターンが恐ろしい。 だから、対空は上りJA、上り投げ、早めジャンプバックダッシュで拒否をすればいいと思う。 次のポイントはD技をガードしてしまった時。 今回のCRは直ガしてもﾌｪﾝﾘﾙで割ることが出来ないくらい密度が濃いので（6B等以外） 決して前作の様に2D、5D、4Dなどで割る事は考えてはいけない。 つかまってしまったら大人しくCAで避けるか、気合でAバレルが来るまでガードするか。 ジャンプ移行駆られる覚悟で上いれっぱするか。この３択くらいな気がする。 ２Dにしろ５Dにしろ始動技は潰されやすくなったからしっかり技重ねていけばいい印象 これするためには踏み込んで技出さなくちゃいけないが、そうすると相手のその場５Bや５Cにカウンター取られやすく まあこれが通常技の強化以上に今回ノエルの立ち回りでの通常技を機能させてる要因なんだろうけど とりあえず真性のDブンブンには重なってない判定の薄い技（特に上下に）はださないってことで まだ各D同士ジャンケンを把握できてないからガードさせられたらおとなしくガードしてるけどこれは今後の課題 ただ前作でも結局アサルトスルーで運ゲーにされたから後出しで安定して返すのは無理だろうけど 2D 5C 6Cの5C直ガ2Dで安定してDﾌﾞﾝﾌﾞﾝﾉｴﾙには勝ててる てかそれ以前に、ﾉｴﾙのCRとか最後まできっちりガードすれば全く怖くないんだが CR6Cはﾓｰｼｮﾝみてから2D差し込めるし、ゲージあればCR6CをCA4Dで確定FCだし、 中央で被固め中に5Bjcきたら十中八九J4Dだから、とりあえずジャンプで見てからJDCHとか、 J4Dなら着地寸前に2Dでコンボいける J4Dじゃなくてもﾊﾞﾘｶﾞしながら飛んで重なるときに空投げ余裕 JB J4DもJB立ちガードしてJ4Dに2Dで余裕 CRガードしてAｵﾌﾟされてもAｵﾌﾟ見てから2BCH 3C余裕だし 【立ち回り】 【総合】 【開幕】 【遠距離】 【中距離】 【近距離】 【状況別】 【空対空】 【地対空】 【空対地】 【起き攻め】 【被起き攻め】 【被画面端】 【割り込みポイント】 【固め】 【その他】 CRをガードされて相手がCR始動技で割り込もうとする場合、 それを読んでアサルトスルーで潰せるか否か。
https://w.atwiki.jp/bangumi-ar/pages/324.html
放送日 2011年7月23日18時～24日21時 総合司会 股尾前科、小林賢太郎 放送企画 ①DJ高田＆西野アナの、富士山清掃大作戦!! ②総合司会の3時間ミニマラソン!! ③12時に地デジ!!地デジ化完了までのカウントダウン!! ④radiko普及大作戦!! ①DJ高田＆西野アナの、富士山清掃大作戦!! JFN38局が毎年行っている富士山の清掃活動。 今年は東日本大震災の影響で、拾ったゴミに応じて義援金になります。 そんなイベントに、JFN2を担当してDJ高田が参加します。 （なお、JFNニュースなど、5分間の番組枠でレポートを行います。） ②総合司会の3時間ミニマラソン!! 総合司会の2人は、深夜0時から3時間、バカ騒ぎした後、6時までにはFM永平田にはつかなくてはならない。。。 でも、その間もカメラだけはしっかり回っている。 ならば、マラソンとして居酒屋からスタジオまで、走ろうということに。 酔い覚ましに走るマラソン、どうなるのかはU-STREAMでお楽しみに。 ③12時に地デジ!!地デジ化完了までのカウントダウン!! 時報は、『地デジ化完了まで、あと●時間です』というコールとなります。 また、12時台の各局ジングルは「只今、地デジ化完了しました」となります。 また、10・11時台の5分間は、地デジ化関係のカウントダウンになります。 ④radiko普及大作戦!! この放送中、通常放送ではJFNなどのネット番組、、、などの影響で、総合司会の声が聞けないというのを解消すべく、特別にradikoをこのために設立しました。 そのなも、『総合司会追跡radiko』となります。 出演者（重複・ゲスト除く） 股尾前科、小林賢太郎、V6、DREAM COME TRTE、桑田佳祐、水沢涼子、新田舞子、高田宗次、西野加奈、簾内道彦、高橋優、HIRONAGA、森本レオ、森田正光、井坂綾、山寺宏一、明石家さんま、島田紳助、中西哲生、古賀涼子、柴田幸子、遠藤淳、森裕子、小川洋子、藤丸由果、内田恭子、nona、杉崎美香、松任谷由美、小林清志、山下達郎、羽田美智子、木南晴夏、田口浩正、福山雅治、（あ、安倍礼司出演者）、ヘキサゴンファミリー タイムテーブル 7月23日 18 00 MUSIC COASTER ウィークエンド～27時間ラジオスタートSP～ 19 20 00 クイズ!生radio de ヘキサゴンⅡ（前半） 30 富士山登山レポート 45 AR MINI ONAIR CHART 21 00 V6 Next Generation 55 JFNニュース 22 00 中村正人の夜は庭イヂリ 55 JFNニュース 23 00 桑田佳祐のやさしい夜遊び 55 HIT STREET 24 00 居酒屋から生放送～SATURDAY MIDNIGHT LIVE～深夜のカラ騒ぎ┣24 15 深夜の大物ゲスト!!コーナー┣25 30 富士山登山レポート26 20┗ 酒酔い覚ます!読書コーナー 25 26 27 00 風とロック 30 ロックの学園 高橋優の進路相談室 28 00 ロックの学園 名曲講座編 7月24日 05 00 ●●市長の激しい目覚まし～生放送でやっちゃいます!!～ 30 森の散歩道 06 00 おはようさんtime～27時間ラジオSP～ 07 08 10 森田正光･井坂綾の天気部屋～予報士さん、教えて! 35 富士山登山レポート 45 27時間ラジオドラマ 09 00 Keep On Smiling 30 SDD推進委員会～27時間ラジオSP～ 10 00 Panasonic Melodious Library 30 YKK ap presents 内田恭子のウチ・ココ～ウチだけ･ココだけの話 55 地デジ化完了まであと約1時間 11 00 ハート・オブ・サンデー 55 地デジ化完了まであと5分!! 12 00 au ONAIR MUSIC CHART 55 SUNDAY Smile NAVI SP trip 13 00 松任谷由美のSweet Discovery 55 おとなの自動車保険 presents おとなラジオ 14 00 JACCS CARD SUNDAY SONG BOOK 55 富士山清掃レポート 15 00 ゆうちょ LETTER for LINKS 30 東京海上日動 presents Humanglobe Traveler 55 富士山清掃レポート 16 00 福山雅治の、SUZUKI TALKING F.M. 55 富士山清掃レポート 17 00 あ、安倍礼司～beyond the average～ 55 富士山清掃レポート 18 00 MUSIC COASTER ウィークエンド～エンディングまでラストスパート!!～ 19 00 ラジオ・ミュージカル「本能寺が燃える」 55 富士山清掃レポート 20 00 クイズ!生radio de ヘキサゴンⅡ（後編） 30 27時間ラジオエンディング 21 00 放送終了 スポンサー 電気事業連合会、ツネイシホールディンクス、NTTドコモ、AR永平田、全日本居酒屋教会、日本コカコーラ社、三井住友アセットマネジメント、全日本天気気象協会、アクテリオン ファーマシューテカルズ ジャパン、JFN38局、JFN2各局、SDD協力企業、Panasonic、YKK AP、キューピー、au、情報誌ぱど、NISSAN、第一生命、セゾン自動車火災保険、JACCS CARD、ゆうちょ銀行、東京海上日動、SUZUKI、メニコン、日本電波塔協会、コスモ石油、セブンイレブン、イオン、JAL 日本航空
https://w.atwiki.jp/palette_stone/pages/44.html
あなたのお気に入りパワーストーンを教えて下さい。
https://w.atwiki.jp/hidebuirc/pages/180.html
僕はIRCが好きだった。 それは確かなことで、特に hidebuを見ている時間では誰にも負けない時期があった。 それは短い期間（約1年）だったけど、 その時期に karake以外で垂れ流されたログは全部保存して見ていた。 毎日だいたい8時間、日によっては16時間近くかかることもあった。 今考えたら親にとっては迷惑な話だったかも知れない。 また今みたいにIRCがつまらなくなかったからできたことだ。 しかしとにもかくにもIRCでの流行ネタについての知識ではその時期はおそらく誰にも負けなかった。 ガチニートだからできたというのもあるだろうけど。 だからどうというわけではないのだが、 IRCを見なくなったのはやはり面白くなくなったからだと思っている。 もちろん急に見るのをやめたわけではない。それは長い歳月をかけて徐々に見なくなったのだ。 そうして、飽きているというのともまた違う。 面白い流れが来れば、やっぱり今でも面白いなあと思うわけだから。 それが「cocoa割れ騒動」だったり「#neco割れ祭」だったりする。 長い割に内容がない、まるで長文君のような文章に疲れてきたので この先はちょっとはしょる。 ぼくがIRCが面白くなくなったと感じるのは、いわゆる「匿名終わったな論」とも違うと思う。 ネットコミュニティというものには栄枯盛衰があって、そういう視点で言っている。 ある時栄えていたコミュニティがそれより下り坂になって 全体的に面白くなくなるということは歴史的にはいくつもあって、 例えばギリシアの時代の彫刻の技術はもう失われたし、ルネッサンスの頃の絵画の技術も失われた。 中国の青磁の技術だって、いまだに再現できなかったりする。 だからそれは、いつの世でも老人が「最近の若者は軟弱になった」 と言ったりしていることとは意味が違う。 文化は栄えたり滅んだりするのだ。永遠に進化し続けるなどということはない。 IRCがつまらなくなったというのはそういう視点に立ちながら言っているのであって、 何もノスタルジーに浸っているわけではない。 だいたいぼくは子供の頃に素晴らしいと思っていたものよりも、 大人になってから素晴らしいと思ったものの方が印象深いものが多いのだから、 そういうノスタルジーにとらわれるような 「全盛期の匿名は凄かったんだぜ論」な考え方とは無縁である。 その上で、なおぼくの書いたことに反論があるのだとしたら、 どうか面白いchを教えてほしい。 ちなみにこの前たまたまロビーIRCの雑談chを見たらとても面白かった。 なんだそんなものも見ずして最近のIRCは面白くないと言っているのか と言われるかも知れないが、それは実際その通りだ。 ぼくは今ではほとんど hidebuしか見なくて今のIRCをつまらないと言っているわけで、 それは前のエントリーでも書いたけど電車の中でIRCを見る人がいないからである。 だから、乗ってる電車がたまたまそうかも知れないと言われれば、それは確かにそうかも知れない。 それから、電車の中でIRCを見る人が少ないからといって IRCの衰退に結びつけるのは無理があると言う人もいるだろうけど、 これに関しては無理はないと思っている。説得力はないけどね。 だから別にそれで人を説得しようとも思わない。 ぼくはただ坂田信弘のゴルフマンガに出てきそうな外国の頑迷なキャディーのように、 これまでの経験と五感を働かせて、なんとなくグリーン上空の風の流れを予測しているだけで、 そう予測する根拠を述べよとゴルファーに言われても、説明しようがないのだ。 それを傲慢だと言うのには異を唱える。ぼくはそれを誠実な態度だと言ってほしい。 この種の誠実さがないと、真善美というものは突き詰められないところがある。 それはid yami_aonoを見て「こいつこそキングオブうすらバカだ！」と叫ぶのにも似ている。 その結果、ぼくはid yami_aonoやあるいはその取り巻きにdisられるかも知れない。 しかしそれを自覚した上でなお、叫ばずにはいられないところがある。 それを傲慢と呼ぶのなら、それはそれで仕方ないが、しかしそれをぼくは受け入れられない。 それからそういう態度だと議論や話し合いにならないという人も時々いるが、 ぼくは初めから話し合いを求めていないどころかそれを回避している。 なぜなら議論や話し合いはクリエイティブにほとんど寄与しないと考えるからだ。
https://w.atwiki.jp/pleasealloy/pages/18.html
宣教師と土人の問題 昔から非常によく知られているパズルですが、意外に日本語のWeb上に回答例が見当たらないので取り上げてみます。 川のこちら側に３人の宣教師と３人の土人がいます。こちらの川岸に２人乗りのボートが１艘あり、これを使って６人全員を対岸に移したいのですが、一時的にも宣教師の数が土人の数より少なくなると土人は宣教師を食べてしまいます。何とか無事に全員を対岸まで渡らせる手順を考えて下さい。 僕がこの問題にはじめて触れたのは小学校の時で、父に教えてもらって一生懸命考えた記憶があります。今考えても、この問題を考えた人はすごいなぁ、とつくづく思うのですが、ちょっと考えて無理そうなことを、「いいやできるはず」という意思をもって解を探索する直感と意思を持つ人間になりたいものです。 ただ、この「宣教師と土人」というモデルは、そろそろ変えていかないとまずいような気がしなくもありません。人権団体とか、あまり論理パズルの本とか読まないんでしょうか。 状態遷移 これまで手がけてきた「うそつき」の論理パズルは、全て「ある特定の時点」のことのみに言及していて、時間的な前後関係や、操作することで状態が変化していくようなものはありませんでした。 しかし、このパズルには時間軸があり、川をボートで渡ることで状態が変化し、変化した状態からまた先の状態を考えてゴールを目指す必要があります。考えればパズルとして、こういうものは珍しくないというかむしろ普通なのですが、Alloyでこういうものを扱う時は、これまでになかった道具を使っていく必要があります。それが「状態」と「遷移」です。これについては、Alloyのチュートリアルに、よく似た「農夫の川渡り」の問題の解が取り上げられているので、それを参考に考えていくことにします。 さて、我々はいつも「特定の状態にあって、何かをきっかけに次の状態に移る」ということを繰り返しており、それを「時の流れ」と捉えることができますが、このパズルでは時間の流れを、 最初の状態（全員こっちがわにいて、ボートもこちらにある） 次の状態（前の状態から、1人もしくは2人の人間があっちがわにうつっていて、ボートはあっち側にある） 次の次の状態（前の状態から、1人もしくは2人の人間がこっちに戻っていて、ボートはこっち側にある） 次の次の次の状態（前の状態から、1人もしくは2人の人間があっちがわにうつっていて、ボートはあっち側にある） （以下略） を繰り返していく操作とと考えることができます。 つまり、「ある状態と、その次の状態の間に成り立たなければならない条件」を定義することで、時間の流れを定義することができるということです。 ただし、これに加えて、 どの時点でも、どちらの岸でも宣教師の数が土人の数より少なくならないように（ただし宣教師がいない場合は可） 最終的に全員があっちがわにいる という条件を加えて、パズルの定義が完成することになります。 登場人物と場、状態の定義 それでは、まず最初に登場人物の定義を行いますが、その前に、今回使用するAlloyのライブラリを読み込んでおく必要があります。今は特に細かいことを考えなくてもかまいません。 open util/ordering[状態] as ord util/orderingというライブラリを、「状態」というシグネチャの管理のために開き、それをordという名前で管理する、という宣言になります。 次は、人の定義に入ります。今回のパズルでは、パズルの状態を管理するために「状態」というシグネチャを導入しますので、人間をあらわすPersonオブジェクトは特に何もフィールド（ステータス）を持つ必要はありません。 abstract sig Person {} 続いて、宣教師と土人の定義です。 sig 宣教師 extends Person {} sig 土人 extends Person {} そして、状態の定義に入ります。このシグネチャを使い、ある時点で宣教師と土人、それにボートがどうなっているかを管理します。 sig 状態 { こっち set Person, あっち set Person, ボート one Place } enum Place {こっちにある, あっちにある} 「こっち」と「あっち」には、0人以上の(set）人（Person）がいることを示しえいます。ボートの状態「Place」は「あっちにある」か「こっちにある」かのどちらかです。 基本的な（静止的な）事実の定義 続いて、ひとつの状態の中で定められる制約を記述します。 ゲームの最初の時点で、人はすべてこっち側にいる。あっち側には誰もいない。 first.こっち = Person no first.あっち 「first」というのは、util/orderingの中で定義されている言葉で、遷移するステータスの最初の状態を表します。 また、= Personという表現は初めて出てきましたが、これは、「first.こっち」という集合、つまり最初の状態でこっちにいる人、というのが、Person全体の集合と同じであることを示しています。 ゲームの最初の時点で、ボートはこちらがわにある first.ボート = こっちにある 宣教師は三人、土人も三人 #宣教師 = 3 #土人 = 3 ＃というのは、それに続くシグネチャの実際の数を示します。 土人の数が宣教師より多くなってはならない all s 状態 | 安全[s.こっち] 安全[s.あっち] 述語（pred）を使って、すべての「状態」において、「こっち」と「あっち」の両方で成り立たなければならない条件を記述しています。 pred 安全 [group set Person] { #(group 宣教師) = #(group 土人) || #(group 宣教師) = 0 } 「安全」とは、指定されたグループの中の宣教師の数が、同じグループの土人の数より同じか大きい、もしくは宣教師がいないかのどちらかである。 ということを示しています。 「#(group 宣教師)」というのがちょっとわかりにくいかも知れません。groupは、上の「安全[s.こっち]」で与えられた「s.こっち」に相当します。こっちは「set Person」つまり人のこっち側にいる人の集合です。一方「宣教師」というのは、このゲームで登場する全ての宣教師の集合を意味します。この二つの「 」をとるというのは、両者の共通する要素だけを抜き出すということです。つまり、#(group 宣教師)は、「特定の人の集まりのうち、宣教師の数を数える」という意味で使うことができるのです。 川を渡るとはどういうことか それでは、いよいよ人が川を渡ります。 pred 川を渡る [移動元, 移動先, 移動元 , 移動先 set Person] { (one a Person | a in 移動元 移動元 = 移動元 - a 移動先 = 移動先 + a) || (some disj a, b Person | (a + b) in 移動元 移動元 = 移動元 - (a + b) 移動先 = 移動先 + (a + b)) } 上で定義した「川を渡る」という述語（pred）の前半は「一人で川を渡るということ」、後半は「二人で川を渡ること」を意味しています。その間にある「||」という縦棒二つは「or」で、「川を渡ると言うのは一人で渡るか二人で渡るかのどちらかが起こることである」ことを表しています。 注目すべきは述語の引数で、移動元、移動先、移動元 、移動先 の四つが渡ってきています。前半の二つは、渡る前の、川のあちらとこちら（どっちがどっちかはわかりません）を、後半の二つは渡った後の川のあちらとこちら（やはりどっちがどっちかわはまだわかりません）を表しています。 というわけで定義の中身を見ていきます。前半の「一人で川を渡る」を抜き出してみると、 one a Person | a in 移動元 移動元 = 移動元 - a 移動先 = 移動先 + a これは、誰か一人について、 その人は移動元にいて 移動した後の移動元（移動元 ）は、移動する前の移動元（移動元）からaを抜いた（取り去った）もので、 移動した後の移動先（移動先 ）は、移動する前の移動先（移動先）にaを追加したものである。 ということを言っているわけです。 aが移動するためにはaが移動元にいなければなりませんし、aが移動したら、移動元からはaがいなくなり、移動先にaが増える。そういうことを述べているのです。それを踏まえて上の定義を納得できるまでじっと眺めてください。 ちなみに、上でなにげなくやっている加算（＋）と減算（－）ですが、これは整数の加減算ではなく、「集合の加減算」です。「集合」を感じるということはAlloyを理解するためには必須といってもいいほど重要なことなのですが、ここでは軽く触れるだけにして、イメージだけつかんでください。 それでは後半です。 some disj a, b Person | (a + b) in 移動元 移動元 = 移動元 - (a + b) 移動先 = 移動先 + (a + b) さきほどと似たようなものですが、二人いるぶんちょっと記述が長いです。 あるaさんとbさんについて、 aさんとbさんの両方が移動元にいて、 移動した後の移動元（移動元 ）は、移動する前の移動元（移動元）からaさんとbさんの両方を抜いた（取り去った）もので、 移動した後の移動先（移動先 ）は、移動する前の移動先（移動先）にaさんとbさんの両方を追加したものである。 （先頭がoneではなくsomeになっている理由は、ちょっと自分でも納得できる説明が出来ないので割愛させてください。僕の勉強不足ですすみません。） これで、「川を渡ること」が定義できました。次に実際に川を渡る状態遷移を定義します。 状態の遷移（うつりかわり） 最初のところで「util/ordering[状態]」という定義をしましたが、実はこの行によって「状態」というものが 「first」から始まり ある状態sのの次の状態はs.nextとなっていて 「last」で終わる直線的な状態の移り変わりをするものである ということが定義されていました。 これを使って、「今」と「次」の状態について、どのようなことが成り立つかを「川を渡る」を使って示します。 fact 状態遷移 { all 今 状態, 次 今.next { 今.ボート = こっちにある = 川を渡る [今.こっち, 今.あっち, 次.こっち, 次.あっち] else 川を渡る [今.あっち, 今.こっち, 次.あっち, 次.こっち] 今.ボート != 次.ボート } } このfactには「状態遷移」という名前をつけていますが、これはなくてもかまいません。 中を見てみると、全ての「今」と「次」について、つまり、全ての状態と状態のつながりの間には次の条件が成り立つと言っています。 その中身は、 今、ボートがこっちにあるなら、次の状態は人が一人か二人こっちからあっちに渡った状態 そうでないなら、次の状態は人が一人か二人あっちからこっちに渡った状態 次の状態では、今の状態と必ずボートの場所が違っている という三つの条件です。「川を渡る」の引数の前半後半が入れ替わっていることに注目してください。 最後に、ゴールの状態をrunコマンドに与え、6人の人間で、最大12の状態でゴールを目指します。 run { last.あっち = Person } for 6 but 12 状態 なんで12かと言いますと、20ぐらいから初めて、少しずつ減らしていっただけです。 実行結果 横に長くなってしまったので、分割して画面を貼ります。 全部で11手、最初の状態を入れて12個の状態が並びました。これらの状態と状態の間で、指定した状態遷移の条件や、宣教師が土人より多いといった条件が全て守られていて、ボートがこっちからあっちへと渡っている状態遷移となっていることを確認してください。 おわりに 今回は少しトピックが多くなりました。状態の遷移を扱うことは非常に重要なことで、パズルに限らずこの世で普通に起こっている出来事を普通にモデリングする際に極めて重要な考え方になりますので頭がちゃんと納得できるまで考えてみてください。ちなみに、こういう「状態と状態との間で成り立つ命題」を扱う論理学を「様相論理」と言います。きちんと勉強しようとするとかなり面倒ですが、こういう形で慣れておくと難しいことを知らなくても使いこなすことができるようになると思います。 全ソース open util/ordering[状態] as ord abstract sig Person {} sig 宣教師 extends Person {} sig 土人 extends Person {} sig 状態 { こっち set Person, あっち set Person, ボート one Place } enum Place {こっちにある, あっちにある} fact { first.こっち = Person no first.あっち first.ボート = こっちにある #宣教師 = 3 #土人 = 3 all s 状態 | 安全[s.こっち] 安全[s.あっち] } pred 安全 [group set Person] { #(group 宣教師) = #(group 土人) || #(group 宣教師) = 0 } pred 川を渡る [移動元, 移動先, 移動元 , 移動先 set Person] { (one a Person | a in 移動元 移動元 = 移動元 - a 移動先 = 移動先 + a) || (some disj a, b Person | (a + b) in 移動元 移動元 = 移動元 - (a + b) 移動先 = 移動先 + (a + b)) } fact 状態遷移 { all 今 状態, 次 今.next { 今.ボート = こっちにある = 川を渡る [今.こっち, 今.あっち, 次.こっち, 次.あっち] else 川を渡る [今.あっち, 今.こっち, 次.あっち, 次.こっち] 今.ボート != 次.ボート } } run { last.あっち = Person } for 6 but 12 状態 （文責：片山 功士） 今日： - 人 昨日： - 人 トータル： - 人
https://w.atwiki.jp/senseinikoi/pages/53.html
●648 2006/05/08(月) 23 13 ID Ui-WGFkcdYQ 実際に先生と付き合ってる人いるみたいですけど長く続くんですか？ ●649 2006/05/08(月) 23 28 ID /4Sod5s2 OB・OG会はまじめな科学の会なんですね。。。 亀田先生は科学を愛するまじめな先生って感じがしてイイですね♪ ミンミさんはこれからも先生に会いに行ったりするんですか?? もぅ代ゼミ卒業生だけどいつまで先生に会いに行ってよいものかなぁ～って思ってます( _ ) そのうち代ゼミに入りにくくなるのかなぁ～(泣) ●650 名前：ミンミ ◆4Vt/54YQ ID=D2006/05/09(火) 00 02 ID yGsQtzGs 648 さぁ・・・やっぱ相性の問題だからＤｏとも言えナイかと・・・ 649 ノ→、ミンミはしばらく亀田先生には会いに行かナイ １人前になるまで会うのもＬｅｔ．も無しにするってキメたの（’▽’） ・・・でも誕生日プレゼントは今年さんざん迷って結局送っちゃったケドＮｅ（＾＾；） 正直に話してしまえば；あの頃は亀田先生がそばにいてくれるコトしかユメ見てなかったＮｏ でもそれは今のお互いのシチュエ→ションではＤｏにもならナイ事実でしょ？？？ ぶっちゃけ死のうとも思った。その時かな？？？自殺サイトを放浪してた時亀田先生の新Ｃ ト→ク聞いてその時彼が言ってたコトは； 人生はＤｏにもならない問題があってそれを保留にして進まなきゃイケない時もＲんですＹｏ・・・ て。諦めるのはムリだケド保留にならデキると思ったＮｏ（゜ー゜＊）だから自分の 将来に向けて動こうてキメて今に至るワケＮｅ☺こ→して亀様から離れて頭を冷やすと 彼が当時言ってたコト“ナニＹｏ！！！”だったセリフも分かってきたし Ｅお勉強したと思う（・∀・）ｖ今の道を進んでいつか亀様との♥の道とまたつながるカモだしもしかしたらそのまま 異地へ行ってしまうカモしれない・・・でも今度会いに行く時はあの頃とは違うミンミになって会いに行くんＤａ♪♪♪ ミンミなんか亀様の生徒でなくても堂々４回も会いに行ったから大丈夫だ！！！（ﾟДﾟ）／ ためらうキモチもかわＥケド自分のキモチにも素直にならなきゃ☆ ●651 2006/05/09(火) 00 20 ID Ui-v5PytAIg 代ゼミ在籍中に先生の事が好きで、卒業したらほんとに気持ちを伝えてる人ってやっぱいるの？在籍中は好きでも卒業したら気持ち伝える気にはならなかったりしないんですか？ ●652 2006/05/09(火) 00 24 ID p/nu.zJk ミンミさん、なんか熱い話をありがとぅ～(´ω｀●) 私も自分の気持ちに素直になってまた先生に会いに行ってみる!! 先生も日々是決戦みたいに頑張ってる人だから私も頑張って1人前にならなきゃ～↑↑ ミンミさんの将来めっちゃ応援してますよぉ!!いつか亀田先生に気持ち伝わるといいですねぇｖｖ ちょく②このレスのぞくんで、またミンミさんと話せるといいです～☆ ●653 2006/05/09(火) 00 33 ID p/nu.zJk 651サン、私は受験っていうつらい時に支えてくれた先生なんで卒業してもやっぱり忘れられないですね… 先生を好きなコトは先生も知ってると思うｹﾄﾞまだ気持ちを伝えたことはないです。。。 普通に仲良くしてくれたら十分満足。でもいつか伝えたいなぁ～♪ ●654 2006/05/09(火) 09 44 ID Ui-v5PytAIg 653 その好きな先生と仲が良いんですか？いいなぁ・・・。先生に気持ち知られてるんだ！？ でも特に進展はしなくてもいいんですか？ ●655 2006/05/09(火) 17 21 ID Ui-FDjJrPMw 本音は恋人ないしは妻のポジションにつきたいんじゃない？好きな男性がいる人は誰でも。 ●656 名前：ﾒﾝﾒ 2006/05/09(火) 17 38 ID fAERb.yU 今日は大学の帰りに文房具屋さんに行って ﾚﾀｰｾｯﾄを買ってきた。もちろん西谷先生への手紙を書くための（゜ー゜＊） ディズニーのが可愛い！って思ったけど相手は私のおとーさんくらいの年齢だし・・・ってことでやめた（－－；） あ～、素直にスキですって書いた方がいいのかな・・・けど初対面の子からいきなりそんな手紙貰ってもキモイよね・・・ ●659 2006/05/09(火) 21 47 ID 47U2lq22 653です。先生と仲良いというか…まぁ普通にしゃべってくれるくらいですよ(ーー;) 質問に行く時とかの私の態度でだいたい先生も感づいてると思います。。。 655さんの言うようにもちろん進展したいですよぉ☆でも難しいですね(泣) とりあえずもぅ卒業したので先生に忘れられないよぅに頑張る!(^^)! 654さんも好きな先生がいるの？？ それからﾒﾝﾒさん、好きっていうのは先生と生徒の立場的にいきなりはきついｹﾄﾞ あこがれてます！とか尊敬してます！とか先生に好感あるってコトくらいは言ってもいいはず☆ ●660 2006/05/09(火) 21 48 ID /4t28u9g 659 卒後に先生とアド交換してるの？外で会える環境なの？ ●661 2006/05/09(火) 22 02 ID 47U2lq22 先生のアドは教えてもらったｹﾄﾞ合格発表の時しか使えてない…(~_~;) 忙しそぅなんで送りにくいし。 もちろん外で会えるよぅなもんじゃないですよぉ↓↓ たまには代ゼミをのぞこうかなって感じなだけ… ●662 2006/05/09(火) 22 51 ID Ui-FDjJrPMw 告白するにしても、相手の立場を考えて行動しないとただの迷惑でしかない。 自分が好きな講師の立場で、自分がしようと思っているアプローチをされたら どう思うか。 もしくは、顔見知りではあるけど良く知らない相手、または気のない相手から 熱烈なラブレターを貰う、携帯の番号やアドレス渡されて返事しますか？ 反対に聞かれて教えますか？ ●663 2006/05/09(火) 23 05 ID FuCg1LKE 662さんの意見も参考になりましたm(__)m あんまりアプローチすると先生の迷惑になりますよね。。。 同世代だと確かに返事とかしないかもしれない…なんか先生みたいに年上だと特別に思ってた。 先生と親しくしたいだけなんだｹﾄﾞどれくらいなら許されるのかなぁ～(~_~) ●664 2006/05/09(火) 23 10 ID /4t28u9g 予備校生の今がある意味、一番先生に会えるし接することが できるよ。卒業すると週１なんて絶対に会えないもん。 ●665 2006/05/10(水) 00 50 ID Ui-0MMaatkM 654です。 私も好きな先生いますよ。でもきっとライバル多いんで(悲) ●666 名前：ミンミ ◆4Vt/54YQ ID=D2006/05/10(水) 01 58 ID cuzMS54. 651 いや、ミンミの場合はまだＳｏでもナイＹｏ☺ こ→やって自分から接点絶ったのにもっとスキになった気もするし ただ最近ネットとかで彼の映像や声を聞いてももう満たされナイってのが不思議 満たされナイのは本当なんだケド亀田先生のコトはダイスキだし他にカッコＥと思ってる・気になるヒトが いるワケでもナイし。自分が彼の他のナニかを求め始めたんぢゃないかなって思ってる☆彡 652 ありがと～（＊＞３＜）ミンミがんばる♪ ＳｏだＹｏ、人生１回しかナイんだからワルいコトでナイ限りは思い切ってやらなきゃ☆ 655 うん、ＳｏだＹｏ、ミンミ素直にミンミ・カメダになりタイＹｏ（￣ー￣） 彼が帰って来たら“お帰りなさいませ、カズ様”っつて玄関まで迎えるし 肩叩きもしてａｇｅたいな（゜ー゜＊）あと、メロン・チョコ＆バナナ・チョコｅｔｃ． 使ってリアルなニャッキのチョコをこさえてａｇｅるんだ～（’▽’） メンメⓒ、ミンミは１００均のハ→ト柄のＬｅｔ．セット使ったしキャラクタ→もので書いた 時もあったから別にＬｅｔ．セットの趣味はこだわらなくてもＥと思うＺｅ・・・ むしろ“らしい”方がどんなコか分かりやすいぢゃん（＞ー゜）ｂ☆ ミンミは書き出しで“コレはファン・レタ→兼ラヴ・レタ→ｄｅａｔｈ”て断ってから スキだとか書きまくった（＊－－＊）３通目か何かではヘンな詩とかも付けた位だし “スキ♥”なんてフツ→に健気でかわＥと思うケド？？？☺あとどんなコか分かるよ→に プリ貼って先生のＨＰのプロフの自分ｖｅｒ．を書いた 662 Ｓｏ、ミンミも今ならそのハナシ何となく分かるＮｏ（’ー’） やっぱ亀田先生にワルいコトしたな～・・・ｏｒｚて思うコトも今考えると結構したんだよＮｅ ●667 2006/05/10(水) 02 52 ID Ui-Z76hzWlE なんかﾐﾝﾐの書き込みを見ているといろんな事を考えているんだなと思う。 何よりも恋愛に真剣になっている姿が見える気がする。 凄く人に対する想いが熱い人なんだなと思うよ。 仕事や学問に真剣になることももちろんいいことだけど、恋愛に人生をかけることも本当に素晴らしいことだよね。 頑張れ。
https://w.atwiki.jp/storytellermirror/pages/317.html
探しに行こうよ part65-428~431 428 ：探しにいこうよ：2013/07/02(火) 00 41 27.23 ID aV6aWLvO0 426 では簡単に、PS2の『探しに行こうよ』でも語りますか やったのは大分前でうろ覚えだから、間違えがあるかもしれない ドラクエとかで出てきそうなファンタジーの世界にある、平和な城下町・リズが物語の舞台 そのリズに引っ越してきたガントレット職人の息子が本作の主人公で、 リズに住んでいる同年代の少年少女10人と友達になる 10人の少年少女はそれぞれ得意分野を2つ持っており、主人公は状況に応じて3人を選んで、 大人にとってはとても些細な、子どもにとっては大きな冒険を通して友情を築き上げていく 429 ：探しにいこうよ：2013/07/02(火) 00 48 32.15 ID aV6aWLvO0 ある日 友達の一人である少女が、以前の冒険の時に行ったリズの外にある石碑の所へ一人で出かけ、 そのままオークに攫われてしまう事件が発生する 主人公は友達3人と共にオークの住処になった砦へ行き、オーク達を出し抜いて少女を救出する 何故少女は、一人で石碑の所へ行ったのか？ 理由を尋ねてみると、「以前に訪れた際に石碑から、『主人公の名前』と『ルキノエラ』という言葉が聞こえてきたから」との答えがきた さらに彼女は「砦の奥へ、魔物を連れて歩いていく魔法使いを見た」と話す 一度町へ戻ってきた主人公達は少女の話から、『魔物を連れた魔法使い』＝『ルキノエラという悪い魔法使い』と考え、 「悪い魔法使いであるルキノエラをやっつけよう」と4人で再び砦へ赴く 砦の奥は魔法使いの住まいらしいダンジョンで、その先にいた老エルフの魔法使いと戦う 物語の形式上主人公は戦闘に勝つが、魔法使いはダメージを受けてないようにぴんぴんしている 実はこの魔法使い、王宮務めの超有名人な魔法使いだった 主人公達の無礼を特に気にする事なく、それどころか「ルキノエラは『永遠の友情が約束される』伝説の地の名前」だと教えてくれる 430 ：探しにいこうよ：2013/07/02(火) 00 53 05.97 ID aV6aWLvO0 伝説の地・ルキノエラの話を聞いた主人公達は、さっそくその地に関する噂話を町で集め、 そこへ行くのに必要となる4つのアイテムを回収 主人公は、親友と呼べるレベルの友情をはぐくんだ友達3人と共に再び石碑へ向かう 石碑の所へ行くと、ルキノエラに行く者へ試練を与える竜が住む谷へワープ そして門番を務める竜と戦って倒すと、その先にあった伝説の地へと足を踏み入れる ルキノエラは周りを崖に囲まれた、綺麗だがどこかさみしい場所だった 竜から永遠の友情を祝福されたが、この地から出る事を許さないと言われる 竜曰く、『ルキノエラから出ると、この友情が壊れてしまう』らしい 一緒に来た友達3人は主人公との友情が壊れる事を嫌がり、最初はこの地に永遠に留まろうと主張した しかし主人公に諭されて、最後には全員「ルキノエラから出る」との意見にまとまる 4人は竜に再び挑み勝利すると、何故か竜は4人を褒める 『ルキノエラから出ると友情が壊れる』というのは真っ赤なウソで、4人の友情を確かめる為の、本当の最終試練だったと語る 今後のルキノエラは、主人公達の遊び場として使用していいと竜が許可する そして4人はリズの町へ戻り、その後も、リズに住む11人の少年少女は友情を築いていきましたとさ （おわり）
https://w.atwiki.jp/senseinikoi/pages/35.html
●1 2006/03/12(日) 02 41 ID TBFfxXeA またまたまたまた前のｽﾚｯﾄﾞが書き込めなくなったのでたてました。 ﾐﾙｸの調子が悪かったのか、それとも… 不快に思う方も多いようなので、ｽﾚﾀｲは極力目立たなくしてみました。 好きな先生が居る方、受験が終わった方もこれから受験の方も、語りたい人たちで語りましょう。 ●3 2006/03/12(日) 02 44 ID ez-Ci.t.lXI 慣れないPCで立ててみました。。 ●4 2006/03/12(日) 02 45 ID ez-jQGbRLFo 前ｽﾚ 458さん いいなぁ…私は二人っきりでも「先生」です。講師室では言葉遣いに気を使いますよね(笑) この前久っっしぶりに会ってきちゃいましたぁ… ●9 2006/03/12(日) 02 59 ID ??-qBIuIS/c 他スレでも壊れてるのあるよ～ミルクケータイ版はしばらくつながんなかったし…スレタイ一時しのぎっぽくて良いんでない？ ●11 2006/03/12(日) 03 04 ID ez-Ci.t.lXI 9 そうなんですか？よかった～(´･ω･`) また荒らされたら怖いんで★とか【】やめて目立たなくしてみました ●15 2006/03/12(日) 09 13 ID tPiOZ1Zs 壊れた奴なおしてもらえよ。 こんな馬鹿スレたてんな。 ラウンジ行けよ。 ●16 2006/03/12(日) 09 45 ID ez-5Fd2srTc かなりまた荒れてるね～久しぶりに遊びに来ました。代ゼミに報告行った？ ●17 2006/03/12(日) 12 09 ID Sh8dDffA わー、かわいいスレ発見！私は代ゼミの講師と結婚したものです。 私も元生徒だったんで、受験生の時はミルクのお世話になったなあ・・・。 数年ぶりにきてみたらこんなにかわいいスレが立ってて思わず書き込みしてます。 みんな頑張ってねー、チャンスは誰にでも平等にあるんだよー。自分が頑張るか頑張らないか それだけだからねー。講師も人の子なんだし、誠実に接していけばちゃんと一人の人間として みとめてくれるしね。 あ、でも、生徒の時から付き合ってる人はゴールインは難しいかもしれない。 うちの旦那は代ゼミでも顔が広いほうなのでいろんな先生が彼女連れて遊びに きたりするんだけど、元生徒で大学入ってから付き合った人が長続きしてるし、 結婚もしてるなあ。 好意を持ってても受験中は我慢して手を出さない、それくらい大事に思ってるってことになるんだろうねえ・・・。 生徒の時から付き合ってる人、来年ほかの生徒に手を出さないか、十分気をつけて いいお付き合いを続けてね！ ●18 2006/03/12(日) 12 55 ID YkjMeLHk 17 在校時から生徒に手を出す先生はその後も他の生徒に手を出す 可能性が大きいってことですか？ 卒後まで待っててくれた先生なら真面目な先生で生徒ではなく１人の 女性として好きになってくれたってことで他にもとっかえひっかえ する可能性は低いってことでしょうか？？ ちなみに 17 さんが先生を好きになった時、先生はフリーでしたか？ ●21 2006/03/12(日) 16 10 ID y2ncVem2 １７さんはもしや去年の春結婚した某古文の奥さんですか？（笑） 私も講師の奥さんしてる者です。 私は元生徒、という関係ではないし、ダンナは「生徒は絶対恋愛対象外」という タイプなので、講師に恋してる人は、その講師が生徒は恋愛対象にしているのか どうか確認した方がいいですよ。 実際に付き合う（告白する）過程としては、１７さんの意見と同じで、大学生に なってからのが良いと思います。 普通に考えて、本気で好きなら講師の方も生徒の時に手を出すようなことはまず しないと思うし。（逆にアプローチしてきたら遊び目的の可能性大→要注意！） 代ゼミ講師で生徒と結婚した人は有名どころでは富田、笹井、西谷、吉野あたり ですかね～（吉野以外は再婚） 代ゼミの女子職員やバイトと結婚した講師も結構いるようです（青木先生とか）。 既婚の講師にアタックするのは勧めません。「気持ちだけでも」と告白するだけ というのもNG。 とりあえず、季節柄志望校に合格した人は報告がてら様子見してみたらどうかな。 合格祝いに～と食事とかに連れてってくれたら脈アリです。 または向こうから連絡先を教えてくれる、バイトを頼まれる等も同様にイイ感触。 そういう素振り↑がなければ諦めましょう。 自分の経験からして、意中の人がいる場合、男は２人きりになろうとします。 こちらから誘っても「複数で」と言う場合はあまり脈はありません。 ご参考までに。